Software abstraction deisng